1. An introduction to mathematical logic and type theory :
پدیدآورنده: by Peter B. Andrews.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
2. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده: / Peter B. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical,Type theory
رده :
QA9
.
A638
3. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
4. Quantifying Activated Floodplains on a Lowland Regulated River: Its Application to Floodplain Restoration in the Sacramento Valley
پدیدآورنده: Williams, Philip B.; Andrews, Elizabeth; Opperman, Jeff J.; Bozkurt, Setenay; Moyle, Peter B.; et al.,Williams, Philip B.; Andrews, Elizabeth; Opperman, Jeff J.; Bozkurt, Setenay; Moyle, Peter B.; et al.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
